Browsing by Subject "Type systems"
Now showing items 1-3 of 3
-
Article
Type checking privacy policies in the π-calculus
(2015)In this paper we propose a formal framework for studying privacy. Our framework is based on the π -calculus with groups accompanied by a type system for capturing privacy requirements relating to information collection, ...
-
Article
Type checking purpose-based privacy policies in the π-calculus
(2016)In this paper we propose a formal framework for studying privacy preserving policies based on the notion of purpose. Our framework employs the π-calculus with groups accompanied by a type system for capturing privacy ...
-
Article
A typing system for privacy
(2014)In this paper we report on work-in-progress towards defining a formal framework for studying privacy. Our framework is based on the π-calculus with groups [1] accompanied by a type system for capturing privacy-related ...